Shallow Dependency Pairs
نویسنده
چکیده
We show how the dependency pair approach, commonly used to modularize termination proofs of rewrite systems, can be adapted to establish termination of recursive functions in a system like Isabelle/HOL or Coq. It turns out that all that is required are two simple lemmas about wellfoundedness.
منابع مشابه
Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs
In this paper, we show that the termination and the innermost termination properties are decidable for the class of term rewriting systems (TRSs for short) all of whose dependency pairs are right-linear and right-shallow. We also show that the innermost termination is decidable for the class of TRSs all of whose dependency pairs are shallow. The key observation common to these two classes is as...
متن کاملOn the Importance of Ezafe Construction in Persian Parsing
Ezafe construction is an idiosyncratic phenomenon in the Persian language. It is a good indicator for phrase boundaries and dependency relations but mostly does not appear in the text. In this paper, we show that adding information about Ezafe construction can give 4.6% relative improvement in dependency parsing and 9% relative improvement in shallow parsing. For evaluation purposes, Ezafe tags...
متن کاملRelTextRank: An Open Source Framework for Building Relational Syntactic-Semantic Text Pair Representations
We present a highly-flexible UIMA-based pipeline for developing structural kernelbased systems for relational learning from text, i.e., for generating training and test data for ranking, classifying short text pairs or measuring similarity between pieces of text. For example, the proposed pipeline can represent an input question and answer sentence pairs as syntacticsemantic structures, enrichi...
متن کاملA Numerical Evaluation of Seismic Response of Shallow Soil Deposits
This paper employs one-dimensional numerical ground response analysis models to investigate seismic response of shallow cohesive and non-cohesive soil deposits on vertical propagation of horizontal shear waves. Soil response is modelled by traditional equivalent-linear (EL) frequency-domain analysis using DEEPSOIL software and nonlinear (NL) time-domain analysis using OPENSEES software. The ana...
متن کاملThe Hierarchy of Dependency Pairs
abstract: Recently, dependency pairs have greatly extended the provable class of terminating of term rewriting systems. The set of dependency pairs itself makes a term rewriting system. However, a term rewriting system and its dependency pairs do not accurately agree on the termination property. In this paper, we study the relation for the termination property between a term rewriting system, t...
متن کامل